Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
11	Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:21:32 Cache Computer architecture Computing Analysis of algorithms Models of computation Computer science Computer engineering Cache-oblivious algorithm Computer memory Memory hierarchy Divide and conquer algorithms CPU cache
12	Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2005-03-23 03:07:59 Concurrent computing Computing Models of computation Parallel computing Concurrency Distributed computing Emerging technologies Data-intensive computing Petri net Kahn process networks Artificial neural network Algorithm
13	RMM Vol. 3, 2012, 66–70 http://www.rmm-journal.de/ Book Review Michael Laver and Ernest Sergenti: Add to Reading List Source URL: www.rmm-journal.com Language: English - Date: 2012-08-15 07:31:55 Scientific modeling Academia Systems science Diagrams Discrete geometry Computational geometry Economy Models of computation Voronoi diagram Agent-based model Simulation Heuristic
14	Microsoft Word - D5.2.B.doc Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:41 Models of computation Philosophy Logic Computing Computer architecture Kahn process networks CMS EXEC Typetoken distinction Stream processing
15	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-09 08:18:16 Theoretical computer science Models of computation Logic gates Digital electronics Quantum information science Reversible computing Thermodynamics Toffoli gate Fredkin gate Adder Quantum computing Quantum circuit
16	1968 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2015-03-26 11:31:05 Mathematical analysis Academia Mathematics Models of computation Control theory Matrix Petri net Perturbation theory Mathematical optimization Transfer function
17	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
18	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
19	Motivation Overview Traces Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2016-01-12 05:36:12 Algebra Theoretical computer science Mathematics Logic in computer science Formal methods Models of computation Denotational semantics Semantics Causality Motivation Sheaf Trace
20	Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2015-11-16 05:46:32 Computing Computer architecture Software engineering Models of computation Computer data Dataflow Finite-state machine SIGNAL BMDFM